void perf_handle_proc(struct proc_info *proc);
void increment_cpu_time(long t);
void print_stats();
